منابع مشابه
On Termination for Faulty Channel Machines
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of a channel. In this paper, we focus on channel machines with insertion errors, i.e., machines in whose channels messages can spontaneously appear. Such devices have been previously introduced in the study of Metric Te...
متن کاملOn Metric Temporal Logic and Faulty Turing Machines
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it has been widely believed that some very small fragments of MTL are undecidable (i.e., have undecidable satisfiability and model-checking problems). We recently showed that, on the contrary, some substantial and import...
متن کاملFast Deterministic Simulation of Computations on Faulty Parallel Machines
A method of deterministic simulation of fully operational parallel machines on the analogous machines prone to errors is developed. The simulation is presented for the exclusive-read exclusive-write (EREW) PRAM and the Optical Communication Parallel Computer (OCPC), but it applies to a large class of parallel computers. It is shown that simulations of operational multiprocessor machines on faul...
متن کاملLocating a Faulty Machine in a System of Communicating Finite State Machines ∗
In this paper, we propose a diagnostic method for the case where the system specification (implementation) is given in the form of two communicating finite state machines (CFSMs). The method decides if it is possible to locate the faulty machine in the system, once a fault has been detected in its corresponding implementation. If this is possible, it also locates the faulty machine. Two simple ...
متن کاملOn-Line Estimation of All Electrical Parameters in Symmetrical and Faulty Induction Machines: Stator Fault Case
Identification of all the electrical parameters of Induction Machines (IMs) is a prerequisite for successful model-based control and/or fault detection. Various approaches have been proposed previously: off-line experiments under alternating stationary conditions, least squares batch and on-line estimation, to name only a few. Both continuous and discrete time have been considered, all of them ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2019
ISSN: 0028-0836,1476-4687
DOI: 10.1038/d41586-019-02092-8